Petri Net Based Supervisory Control of Flexible Batch Plants
نویسندگان
چکیده
منابع مشابه
Petri Net Based Supervisory Control of Flexible Batch Plants
The application of supervisory control concepts in the control of batch process plants is investigated in the paper. Supervisory control issues in flexible batch plants include co-ordination, resource allocation and process management. The paper utilises the Petri net based supervisory control framework to develop appropriate solutions. A straightforward approach of translating developed Petri ...
متن کاملPetri Net Models in Batch Control
A P etri-net based approach for the modeling of batch p l a n ts as well as products is presented. The diierent units of a plant are modeled as bounded Petri nets and products are represented by w ay of their recipes. With the focus on synchronization and booking issues arising when merging and splitting material ows, we propose general Petri net building-blocks for the construction of these re...
متن کاملTimed Petri-net Based Formulation and an Algorithm for the Optimal Scheduling of Batch Plants
The effective scheduling of operations in batch plants has a great potential for high economic returns, in which the formulation and an optimal solution algorithm are the main issues of study. Petri nets have proven to be a promising technique for solving many difficult problems associated with the modelling, formal analysis, design and coordination control of discrete-event systems. One of the...
متن کاملA New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled...
متن کاملPetri Net Based Supervisory Control of a Social Robot with LTL Specifications
We describe the implementation of a method to control a social robot based on discrete event system supervisory control theory. The sensors and actuators of the robot are modelled as Petri nets, and the target behaviour is given as a set of rules written as linear temporal logic (LTL) formulas. The Petri net models and LTL rules are then used to build a Petri net realization of a supervisor tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1998
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)41919-7